Yang-ch'u Shan, Shanxi (mountain)