Using demographic data matching to uniquely identify individuals for HIV case-based surveillance in low-resource settings , a case study from Kenya