Probabilistic design in the operation of service systems