Evaluation follow-up of a national primary school HIV intervention in Kenya