A multi-class probabilistic priority scheduling discipline for differentiated services networks