Skeleton file for BinaryHeapPriorityQueue