Realistically, how many people would Venice be able to house in its current size? And, historically, how much bigger could it have gotten?