Export results of a query in user-selected file format

The Data Export tool allows users to export ad hoc results in different file formats.