While Loop In Python Definition