what is coal mills

what is coal mills