ball mills used to crush the coal