Higher-order Optimality Conditions and Duality for Approximate Solutions in Non-convex Set-valued Optimization