加热焦炉用的煤气有（）、高炉煤气、发生炉煤气、混合煤气等。