На какой структуре данных основана стандартная библиотечная очередь с приоритетом (priority_queue)?