type of coal used for steel making