Implementing PriorityMailbox