World leaders, tech execs pledge to curb online violence