Text this: Monitoring method for water level in subsidence water bodies in mining areas using multi-source satellite observations