高炉炼铁就是从铁矿石中用还原的方法除去氧而得到（）。