Industrial policy and economic development