Hooke's law and springs