What was the process of turning Tenochtitlan into Mexico City like? Was the city demolished at once or was it dismantled in neighborhood by neighborhood? How long did it take?