Catalytic reduction of NO with NH3 on a Pt(100) surface: Monte Carlo simulations.