Theoretical insights into the selective oxidation of methane to methanol