Kinetic modeling of the oxidative coupling of methane