Application of semi⁃airborne transient electromagnetic data processing and interpretation in exploration of water hazards in Hesigula open⁃pit coal mine