Attenuation of shock wave at gas-permeable obstacles by functional dependence of barrier’s permeability through the mine opening