Effect of gas pressure on the sealing efficiency of compacted bentonite-sand plugs.