7,000 documents detail Obama-era targeting of tea-party groups