an orchestra pit is for for the orchestra to play within