ore mining industry in indonesia 2016