China’s GDP: no easy leading indicator