Hydrogenation of S to H2S on Pt(111): A first-principles study