Environmental taxes on intermediate and final goods when both can be imported