扩展名为WAV的文件属于( )文件格式。