Characterization of a thermophilic formate-utilizing methanogen, Methanobacterium thermoformicicum strain SF-4