Nasdaq halts high-speed trading service after regulatory pressure