ball mill used to grind mine ore into smaller sizes