Carbon dioxide in the earth's atmosphere over the last 10,000 years