Lenz's law and conservation of energy