liste des mines de charbon indonésiens