China’s official manufacturing PMI hits nine-month high in December