Định dạng tệp tin nào sau đây thường được sử dụng để lưu trữ hình ảnh động (animation) và tương tác trên web?