A double-ended priority queue based on min-max heaps.