下列软件产品中属于视频编辑工具的软件是( )。