leftist heap (priority queue)