top 20 coal mining companies in indonesia