Digitizing the operating room