Bayesian analysis of autoregressive time series with change points