Constrained Optimization via Exact Augmented Lagrangian and Randomized Iterative Sketching