ore mining process in indonesia