There is a pretty good open source ffmpeg GUI app for Android too, can't remember the name but should be searchable I forgot to mention picking the right output resolution is also important for fitting a 25MB limit