An exact predicate for the optimal construction of the additively weighted Voronoi diagram