LEDA: A Platform for Combinatorial and Geometric Computing