A Linear Algebraic Framework For Autofocus In Synthetic Aperture Radar