Interaction of O2 with Pt(100). I: Equilibrium measurements