Work done by a spring