Thomas Jensen, Tivoli Concert Hall Orchestra & Danish Radio Symphony Orchestra