an orchestra pit is used for an orchestra to sit in