¿Por cuántas personas debería estar integrada la primera colonia humana en Marte?