Sudanese authorities kill 13 Islamist extremists in the east after heavy gun battle: sources 2 December 2012