HTF, CTA, Quants... los robots y máquinas que operan en los mercados  Finect