A Single-Culture Bioprocess ofMethanothermobacter thermautotrophicusto Upgrade Digester Biogas by CO2-to-CH4Conversion with H2 | Synapse