Geometric Constraint Solving and Applications