Python priority queue customized comparator