Solving Geometrical Constraint Systems: A Case Study in Kinematics