煤经高温干馏后的产品主要有焦炭，煤焦油和（）。