Kinetic Monte Carlo simulations of heterogeneously catalyzed oxidation reactions | Synapse