former or literary name for Nanning (in Guangxi)