Total-variation denoising