an orchestra pit is for somewhere for the orchestra to sit