Twitter is banning US spy agencies from using a service that can detect terrorist attacks early