How the Trump-Putin summit came about