High Frequency and Dynamic Pairs Trading with Ant Colony Optimization