Two malate dehydrogenases in Methanobacterium thermoautotrophicum