Providing HIV education in schools