How many Tony Awards was the musical comedy on which Jonathan Tunick started working with Stephen Sondheim, nominated for ?