How to convert a pencil animation file to an mp4 2017