영상 편집 분야의 실무에서 주로 사용하는 파일 확장자가 무엇인지 궁금합니다. 실무에서는 mp4 말고 다른 확장자를 사용한다고 하는데 실무에서 사용하는 영상 파일 확장자는 어떤 건가요?