A First-Principles Simulation of the Semiconductor/Water Interface