Statistics for The South African Volatility Index (SAVI) as a tool for market timing on the Johannesburg Stock Exchange (JSE)