While Loop Python Input Integer