Irreversibly adsorbed As at full blockage on Pt(111) electrodes: Surface stoichiometry