Compressive sensing for high resolution differential SAR tomography - the SL1MMER algorithm | IEEE Conference Publication | IEEE Xplore