Carbon dioxide in the Earth's atmosphere