The strategic use of international institutions in dispute settlement