An Efficient Proximity Point Algorithm for Total-Variation-Based Image Restoration