Occupational exposure of operating room personnel to trichlorethylene