二氧化碳的工业制法的化学式