How To Get Integer Input From A User In Python