NASA’s next Mars rover is brawniest and brainiest one yet