“When developing autonomous driving at Tesla, the single key metric the team optimized for was the number of miles driven without human intervention.”