Al passivation effect at the HfO2/GaAs interface: A first-principles study. (January 2016)