Double-Ended Priority Queue