coal mining industry in indonesia 2018