高炉炼铁时焦炭的作用是什么？请写出工业炼铁的化学反应方程式。