ball mill to grind mine ore into smaller sizes