machine used for mining nickel