an orchestra pit is used for musicians