A new tool is emerging in divorce settlements: A.I.