Dave Brubeck, The New York Philharmonic Orchestra and Leonard Bernstein