Software AssenSAR wake detector Cauchy Proximal Splitting Algorithm CauchySAR Toolbox SAR Image Simulation Generalised Rician Distribution