Microbial diversity in Hawaiian lava caves: the search for life on Mars