An efficient augmented Lagrangian method for support vector machine. (3rd July 2020)