Concurrent insertions and deletions in a priority queue