Используют ли боты профессиональные трейдеры?