Could Russia use high-frequency trading to crash the markets?