800,000-year Ice-Core Records of Atmospheric Carbon Dioxide (CO2)