How Quantitative Analytics Shapes High-Frequency Trading