Lin-Manuel Miranda debuta como director del musical “Tick, Tick… Boom!”