Sound exposure of musicians in a pit orchestra