Picking a Representative Set of Solutions in Multiobjective Optimization: Axioms, Algorithms, and Experiments