Oxygen pressure dependence of HfO2 stoichiometry: An ab initio investigation