Modeling CO Oxidation on Pt(111) Electrodes