本地视频文件常见有MP4、MKV、AVI等，这些都是什么？有什么区别？

在腾讯视频、哔哩哔哩网上看的视频，与本地播放的MP4、MKV、AVI文件，有什么区别？

参考链接

https://zhuanlan.zhihu.com/p/61747783