Facebook, YouTube, Twitter, and Microsoft have teamed up to fight online terrorism