LSAR: Efficient Leverage Score Sampling Algorithm for the Analysis of Big Time Series Data (Journal of Machine Learning Research, 2026)