Elon Musk’s cosmic gamble: Can a robot beat humans to Mars?