Theory of Waveform-Diverse Moving-Target Spotlight Synthetic-Aperture Radar