XCheck: a Tool for Benchmarking XQuery Engines