Ab initio study of the oxygen vacancy in SrTiO3