Ts'ai-liang Shan, Shanxi (mountain)