A Bayesian Approach for Detecting Outliers in ARMA Time Series