liste des entreprises qui ont des mines de charbon en indonésie