手机录制视频怎样压缩大小