+bin_heap_impl_priority_q.h: priority queue implemented via binary heap