How can i convert export and save a path animation as video /mp4 file? I use this library to create animation https://github.com/totond/TextPathView/blob/master/README-en.md