Joshua Henry on the Joys of Working with Lin-Manuel Miranda