A Queueing Model of Timestamp Ordering in a Distributed System