Hot off the Press: The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem (Proceedings of the Genetic and Evolutionary Computation Conference Companion)