Ugljični dioksid: svojstva, proizvodnja, primjena