Rudin-Osher-Fatemi denoising algorithm