高炉煤气是炼铁厂的高炉在炼铁过程中产生的煤气，是（）的副产品。