An augmented Lagrangian method for solving total variation (TV)-based image registration model. (December 2020)