Use of data from HIV counselling and testing services for HIV surveillance in Africa