Are the KOSPI 200 implied volatilities useful in value-at-risk models? · Study