Efficient Dynamic Logic Magnitude Comparators