hooke s law and potential energy stored in a spring