常用炼焦煤有气煤、肥煤、焦煤、瘦煤几个牌号。