NBC: Lin-Manuel Miranda's first songbook is out, from 'In the Heights' to 'Hamilton' and 'Encanto'