proximal splitting methods in signal processing ∗ .
nonlinear total variation based noise removal algorithms .