Lin-Manuel Miranda’s award-winning musical honored at the Tony Awards with Obama introduction