Improvement of Gas Drainage Efficiency via Optimization of Sealing Depth of Cross-Measure Boreholes