用手机录的视频怎么压缩成文件