石炭？石炭不是炼铁的吗？