an orchestra pit is used for holding an orchestra