Industrial electricity demand and energy efficiency policy: the case of the Swedish mining industry