Comparative proteomic analysis of Methanothermobacter thermautotrophicus reveals methane formation from H2 and CO 2 under different temperature conditions