Rate-distortion optimized streaming of video with multiple independent encodings