“I have this camcorder but have not been able to successfully create 4k videos despite recording in XAVC S (4k) format, what software works best to do this? I've used Microsoft Video Editor so far...”