Building NASA’s Mars 2020 Rover