Reworked the exit from an export market

Firms now have a smooth withdrawal from export markets depending on the
history of shipments to the market.