mining widely used nickel ore ball mill