Forecasting the value-at-risk of Chinese stock market using the HARQ model and extreme value theory