一个城市人口达到多少才可以修地铁