An economic model for a martian colony of a thousand people