K-promoted oxidation of CO on Ni(111)