a concert hall is used for music