MADMatch: Many-to-Many Approximate Diagram Matching for Design Comparison