Gravar-mail: Bayesian change-point modeling with segmented ARMA model