Heterogeneous entrepreneurs, government quality, and optimal industrial policy