闻喜是哪个省哪个市的简称