What Kind of Technology is Used in HFT?