Analysis of a discrete-time preemptive resume priority buffer