Operaciones de minería de carbón indonesia