Work done on a spring