PhD thesis: Infinite-dimensional semi-smooth Newton and augmented Lagrangian methods for friction and contact problems in elasticity