Comparison of ARIMA and GRU Models for High-Frequency Time Series Forecasting · Study