Statistical multiplexing of variable-bit-rate videos streamed to mobile devices