Lexicographic optimality