A joint first principles and ATR-IR study of the vibrational properties of interfacial water at Si(100):H-H2O solid-liquid interfaces