Twitter's spam tools helped shut down 376,890 terrorist accounts in 6 months