Reasonable minimum sealing length of in-seam boreholes for coal mine methane drainage: a case study. Issue 18 (16th September 2020)