distributed operating room scheduling