In the early 16th century, Tenochtitlán was one of the world’s largest urban centers. Researchers and programmers are now looking for traces of the ancient Aztec city. And with digital technology, they’re building increasingly precise models.