Industrial Policy and the Great Divergence