les mines de charbon propriétaires indonésie