Density functional theory study of the initial oxidation of the Pt(111) surface | Synapse