列出几种常见的视频文件格式。