Which of the following file extensions indicates a video file?