On a low gravity planet, would it make more sense to build habitat domes or habitat sky-scrapers?