Which settings are important when exporting the SVG from the most common tools, which video formats work best and how should they be compressed before upload?