progreso de la minería de carbón en indonesia