Text this: Industrial policy-making in mineral-rich developing countries