Revisiting H/Pt(111) by a combined experimental study of the H-D exchange reaction and first-principles calculations