Lateral Interactions in O/Pt(111): Density-Functional Theory and Kinetic Monte Carlo