Cost implications of HIV retesting for verification in Africa