Efficient Gibbs Sampling for Markov Switching GARCH Models