What is defined as the kinetic energy minus the potential energy