state the work energy theorem