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