Analogue-resistant and auxotrophic mutants ofMethanobacterium thermoautotrophicum