Lin-Manuel Miranda, 'in The Heights' Original Broadway Company