the work energy theorem and kinetic energy