what is coal used for in industries