https://www.best-android.com/2017/03/Video-to-GIF-Android.html