‘Hamilton’ Remix, Barack Obama joins Lin-Manuel Miranda