Gigantes digitales prometen medidas contra extremistas en la red