Is Fengfeng Mining District a district and Genhe a city?