碳高温还原二氧化碳的方程式是什么?