“Leaders and tech firms pledge to tackle extremist violence online”