Digitalization of international arbitration and dispute resolution by artificial intelligence