Pure and Mixed Lexicographic-Paretian Many-Objective Optimization: State of the Art