بررسی پدیده انفجار ناگهانی گاز متان و روشهای پیش بینی و جلوگیری از آن با نگاهی به بررسی فنی و اقتصادی عملیات گاززدایی (مطالعه موردی: معدن شماره یک زغالسنگ پروده طبس)