Amber wants to export her animated movie in a file format that will load quickly on the Internet. What file extension should she choose?