Xi Jinping's formal election as president.