在手机上如何将视频压缩成文件发给别人