la production des mines de charbon indonésienne