Bayesian estimation of switching ARMA models