Ab initio studies of Nb doping effect on the formation of oxygen vacancy in rutile TiO2