Heap (priority queue) data structure with random access and priority modification