An athletic company wants to use an animated graphic on their website. Which file is the best option to use?