下列哪种格式的文件可以使用WinRAR进行解压缩：______。