o que é mineração de carvão e minas de carvão