A Geometric Reasoning Server with Applications to Geometric Constraint Satisfaction and Configurable Feature Extraction