Predicting Traffic Congestion in the Construction of Smart Cities in the Northwest Industrial Center: A Case Study in Lanzhou of China