An Efficient Implementation of the Priority Queue ADT (Abstract Data Type)