The SEC should allow automated market makers to trade U.S. equities