Coherent change detection in repeat-pass synthetic aperture sonar