the smash Broadway musical by Lin-Manuel Miranda