Formalizing the XML Schema Matching Problem as a Constraint Optimization Problem