Active manifolds, stratifications, and convergence to local minima in nonsmooth optimization