Boost Priority Queue