how is nickel mining used in puerto rico