Is High-Frequency Trading as Bad as Michael Lewis Wants You to Think?