China's Baidu makes subdued Hong Kong trading debut