Ultra-Fast, Accurate, and Practical Anomaly Detection Algorithms for Time Series Data