Optimal delay for media-on-demand with pre-loading and pre-buffering