How different are different diff algorithms in Git? (link.springer.com)