Computing the editing distance between unordered labeled trees is NP-complete