effets de methane produites par les mines de charbon