The formation of HOCO in the coadsorption of water and carbon monoxide on Pt3Ni(111)