Duality-based Higher-order Non-smooth Optimization on Manifolds