Detecção de metano em minas de carvão