A Digital Processor for the Production of Seasat Synthetic Aperture Radar Imagery