Sudan troops battle rebels in war-torn South Kordofan