syntax of while else in python 3