Deep Learning for Time Series Anomaly Detection: A Survey