Robot kereskedési stratégia. Automatizált tőzsdei kereskedés, tőzsdei robotok