Networks of third-party interveners and civil war duration