Text this: Growth and distributive effects of public infrastructure investments in China