SAR change detection in a Markovian Bayesian framework