In silico Modeling and Experimental Validation for Improving Methanogenesis from CO2 via M. maripaludis