How does the ocean influence the amount of carbon dioxide in the atmosphere.