Nonsmooth Analysis and Geometric Methods in Deterministic Optimal Control