copper ore mining in indonesia