Efficient Array-Backed Priority Queue Implementation