万里长城建造用了多少人