carrière des mines de charbon en Indonésie