China’s infrastructure mania is not a name for nothing