Mathematical Modeling and Analysis of Methane Production and Oxidation