Heat is a type of energy that can be converted into work. Who first gave direct proof of this?