NASA and HeroX are crowdsourcing the search for life on Mars