洪洞县属于哪个市（山西洪洞县属于哪个市）