Potential energy in springs