A shootout of different approaches to displaying short animated content on the web, animated-gifs vs. spriting vs. web video