The high-speed trading world is run by algorithms and computers.