视频剪辑完成后，视频将被压缩成一个很小的文件并且转换成合适的（）。