Climate mitigation by carbon dioxide sequestration