工业炼铁的原料有铁矿石、焦炭、石灰石、空气.其中石灰石的作用是什么?