What is the best format to export a vector-based cartoon animation to be used on a website?