How to make a pencil animation a mp4