Higher-order optimality conditions in global nonsmooth optimization