Event detection in spatio-temporal data using a Bayesian segmented ARMA change-point model