coal mining in indonesia 010