Unfinished min-priority-queue implementation