decimal to binary in python using while loop