CIA declassifies trove of top-secret documents