ball mill widely used in mining