Distributed algorithms for scalable proximity operator computation and application to video denoising.