of coal used in rolling mill