Pareto-optimal selection of saturating inductors in the design of Switch-Mode Power Supplies