On nonperturbative localization with quasi-periodic potential