syntax of while loop in python