Facebook, Google and other providers are stepping up with techniques ranging from AI detection to human intervention in response to calls from politicians after a rash of terror attacks