Beneath the shadow of a US missile strike on Syria, the Chinese and US presidents made substantial progress, even if differences over North Korea, Taiwan and trade remain formidable