Lin-Manuel Miranda is Disney’s new songwriter-in-chief