lava tubes in hawaii could be a dress rehearsal for mars colonies