Perhaps the best Mars colony design: Hassell's Mars Settlement