The microkinetic model used was adapted from the original model developed by Mazeau et al. This model was constructed using the Reaction Mechanism Generator (RMG), a Python-based tool for automatically constructing microkinetic models. Briefly, RMG uses a decision tree algorithm for both thermodynamic and kinetic parameter estimation, in addition to a substantial database of experimentally and computationally derived values. An input file specifies all of the known reactants, products, and intermediates, which are then allowed to react together and create new species, adding species into the "core" model based on their generation rates. Activation energies and pre-exponential factors are estimated using rules for reactions with similarly structured reactants. The activation energy is scaled in these rules using the enthalpy of reaction via Brønstead-Evans-Polanyi (BEP) relationships.