Anomaly Detection in Univariate Time Series: An Empirical Comparison of Machine Learning Algorithms