lava tubes on the moon and mars could be homes for space