Text this: Research on water body information extraction and monitoring in high water table mining areas based on Google Earth Engine