Theoretical Receiver Operating Characteristics of Two-Stage Change Detector for Synthetic Aperture Radar Images