hooke s law and spring elongation