A safe mining approach for deep outburst coal seam groups with hard‐thick sandstone roof: Stepwise risk control based on gas diversion and extraction. Issue 8 (25th May 2020)