Guess what high-frequency trading is.