Unordered tree editing distance