type of coal used in rolling mill