ProxImaL: Efficient Image Optimization Using Proximal Algorithms