Nasdaq CEO Bob Greifeld talks David-and-Goliath battles, making computers work harder, and the future of trading