The nickel industry in Cuba