different types of coal used in rolling mills