Which of the following is a software tool used for video editing and post-production?