what machinery are used to mine nickel