While Loop Python Input Function Int