Text this: Evaluating the effectiveness and cost-effectiveness of health facility-based and community-based index-linked HIV testing strategies for children