An astrobiology strategy for the exploration of Mars (National Academies Press, 2007)