Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs