Evaluation of Green Transformation Efficiency in Chinese Mineral Resource-Based Cities Based on a Three-Stage DEA Method