A priority queue based on gb_trees