Boston Pops uses DPA mics