Despite regulatory probing, banks’ “dark pool” trading venues are doing just fine