Analytical and computational advances in quasidifferential calculus for nonsmooth optimization