The structure, conduct, and performance of the CCC Export Credit Sales Program with a case study of the additionality effect of CCC financed cotton exports to Korea