گازسنجی چیست؟/ لزوم پایش مداوم گاز در معادن زغال‌سنگ