Text this: Hybridized augmented Lagrangian methods for contact problems.