In the carbon cycle, carbon dioxide in the air may be replenished by