Applications of carbon dioxide