Animation engine for explanatory math videos with programmatic mathematical visualization capabilities