for coal mining companies in indonesia