Two new methods for constructing double-ended priority queues from priority queues