A dual algorithm for the solution of nonlinear variational problems via finite element approximation