工业炼铁焦炭的作用是什么