An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking