Ab initio Molecular Dynamics Simulation of the H/InP(100)–Water Interface