High-Frequency Traders and Single-Dealer Platforms