Implementing the L ∞ segment Voronoi diagram in CGAL and an application in VLSI pattern analysis