Usage of priority_queue in priority scheduler