Text this: Study on air leakage law and control strategy in goaf of double roof cutting roadway