On the Relationship between the Production and Migration of Yunnan Salt Mine and the Formation and Development of Industrial and Commercial Towns