Text this: An innovative data-driven quantitative prediction method aiming at base groundwater intrusion risk under extra-thick coal seam mining and its practical application