Google and Facebook use automation to remove extremist videos