Weighted banner rotator for choosing random k banners from n. Implementation of interval tree. Probability estimation of showing each banner