Benefits to Arbitragers from Digital Ticks Exchange User Interface.