What is High Frequency Trading? from a software engineer