Agostino, De civitate Dei