coal mining in south east asia