New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks