Which software is commonly used for video editing in digital arts?