Concurrent heap-based priority queue.