Which statement is the Kelvin-Planck form of the second law of thermodynamics?