while loop in python example