historical administrative division in Shanxi, China