“Salman’s vision for the city incorporates some technologies that do not currently exist, such as flying cars, robot maids, dinosaur robots, and a giant artificial moon.”