Performant priority queue with support for changing priority
