Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability