Efficient Gibbs sampling for Markov switching GARCH models