'tick, tick...BOOM!' Director Lin-Manuel Miranda on Telling Jonathan Larson's Story, Filming During the Pandemic, and More