Tick, Tick... Boom! true story: Andrew Garfield, Lin-Manuel Miranda on translating Jonathan Larson's life to screen