lin manuel miranda, grammy awards 2017