Fastest data structure for a priority queue

See