Ab initio molecular dynamics simulations of the O2/Pt(1 1 1) interaction