Achieving differentiated services through multi-class probabilistic priority scheduling