Inventory of CO2 available for terraforming Mars