Next smaller number with the same digits