Which of the following is a common file format for saving animations in digital arts?