Proximal Point Algorithm