Mineral industry of Indonesia