how do you make a do while loop in python