下列软件产品中，专用于视频文件编辑的工具软件是( )。