The equivalence between lost mechanical energy and increases in temperature was discovered by an English physicist, mathematician and brewer, born where?