Nederlandse Opera, De / Netherlands Philharmonic Orchestra