Atmospheric concentrations of CO2 over the last 10 000 years