A Subproblem Solver for Progressively Sampled Equality-Constrained Optimization: New Results for Fletcher’s Augmented Lagrangian Function