Optimization on Pareto sets: On a theory of multi-objective optimization