Operation room management in Korea: results of a survey