A Density-Functional Theory Study of the Water−Gas Shift Mechanism on Pt/Ceria(111)