std::priority_queue::empty