revista de minería del carbón de indonesia