Water formation on Pt(111) surfaces at high temperatures studied by kinetic Monte Carlo simulations