Ab initio study of SrTiO3 surfaces