list ofcoal mining and exporter companies in indonesia