Title: Time Series Anomaly Detection: Foundations and Practices