怎样把手机录制的视频压缩