Sudan: Chinese workers liberated after South Kordofan rebel attack?