Lin-Manuel Miranda, Elenco de Encanto