Trading robots: what they are