A generator of kinetic typography videos