an orchestra pit is used for music