Mathematical Problems in Synthetic Aperture Radar