viabilidade da colonização de marte e luas de júpiter