Nonsmooth analysis, differential inclusions, optimal control