Text this: Coordinated mining technology based on GIS reservoir area model and probability integral method under reservoirs