Which Video Editor to Use? The Pros and Cons of DaVinci Resolve, Final Cut Pro, and Adobe Premiere