What Mars 2020 will teach us about crewed trips to the Red Planet