Product isotope effects on in vivo methanogenesis by Methanobacterium thermoautotrophicum