A Taxonomy of Distraction Mitigation Strategies for Operating Rooms. (November 2019)