Text this: Expansion and Evolution of a Typical Resource-Based Mining City in Transition Using the Google Earth Engine