Resize movies for your Android/iOS device with ffmpeg.