Tech billionaire Peter Thiel was an FBI informant