高炉炼铁的原理是置换反应吗