An introduction to SVG animation