NASA’s 2020 rover will search Mars for signs of life