Putin and Xi oversee launch of landmark Russian gas pipeline to China