Genome-Scale Metabolic Model Reconstruction and in Silico Investigations of Methane Metabolism in Methylosinus trichosporium OB3b