Sudan: Five Chinese workers executed by abductors