downscale video with ffmpeg