Lava tubes may be havens for ancient alien life and future human explorers