XQuery: A Query Language for XML