Communication: Hole localization in Al-doped quartz SiO2 within ab initio hybrid-functional DFT