The economic consequences of a war with Iran