ball coal mills power plants how is coal formed what is