Effect of Functional and Electron Correlation on the Structure and Spectroscopy of the Al2O3(001)-H2O Interface.