methane emission in coal mines