How many people did it take to build the great wall of china?