Dynamic Monte Carlo simulations of O2 adsorption and reaction on Pt(1 1 1)