std::priority_queue::size