Assessing the impact of patient prioritization on operating room schedules