Convergence of an augmented Lagrange algorithm for nonlinear optimizations with second-order cone constraints