how is crushed coal used