以下属于动态图像文件格式的有( )。