Symmetry Breaking for Maximum Satisfiability