Five Things You Should Know about High Frequency Trading