Global Convergence of ADMM in Nonconvex Nonsmooth Optimization | Synapse