A proximal augmented Lagrangian method for nonconvex optimization with equality and inequality constraints