Kinetic energy and the work-energy theorem