视频格式有哪些常用的_gif是视频格式吗