G7 leaders pressure tech firms on removing terror propaganda