priority queue uses sorted set instead of heap: