How many Tony Awards does the man who wrote music for the 56th Disney animated feature film have?