Efficient source and mask optimization with augmented Lagrangian methods in optical lithography