在视频信息数字化的过程中，采用不同的压缩编码方式，会生成不同格式的视频文件。结合学习实际，说一说常见的视频文件格式和视频播放软件分别有哪些？