coal mining indonesia 2018