Elon Musk’s introduction of SpaceX’s plans to go to Mars was long on the how to get there, but short on the “now what?” once passengers land. What would cities on Mars look like, and how would they solve …