Title: The Indonesian mining industry, its present and future