Theory and applications of sparsity for radar sensing of ionospheric plasma