Nonsmooth Equations in Optimization