Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums