STL priority queue