How does Revulytics Usage Intelligence identify unique users/installations? What happens when a user uninstalls, reinstalls or formats?