Energetics of the growth of Methanobacterium thermoautotrophicum and Methanococcus thermolithotrophicus on ammonium chloride and dinitrogen