Variational Analysis and Applications