Priority queue with increaseKey/decreaseKey operations.