To export a facet set to an XML file: