How much work is done by a spring when its end is moved from one position x_i to another x_f?