Shrinking cities and resource-based economy: The economic restructuring in China's mining cities