Text this: Derivation and application of analytical model for engineering optimization of drainage well hole in coal seam roof aquifer