大疆拍摄的4K视频是什么编码格式？用什么软件可以实时编辑不卡顿？EDIUS和premiere都有卡的现象。