The Islamic corporation for the insurance of investment and export credit