effets de méthane produites par les mines de charbon