Vibrational spectra of dissociatively adsorbed D2O on Al-terminated α-Al2O3(0001) surfaces from ab initio molecular dynamics.