由CompuServe公司开发、可以存储多幅图像并形成动画效果的图像文件格式是（）。