how is coal crushed in a mill