coal mining in indonesia to market