Digital Processing of Synthetic Aperture Radar Data: Algorithms and Implementation