Changes in the effects of oil price shocks on US industrial production