High-frequency trading and dark pools: sharks never sleep