煤的高温干馏后的主要产品包括：煤气、煤焦油、（）和焦炭。