¿Qué es la minería del carbón y las minas de carbón?