Industrial policy has delivered impressive technological gains without productivity growth