煤在工业上被称为什么