Bayesian Inference for Switching Mean Models with ARMA Errors