Why robot traders haven’t replaced all the humans at the New York Stock Exchange—yet