How to use the while-else loop in Python?