coal used by rolling mills