Kim Jong-nam, half-brother of North Korean leader, 'was a CIA informant'