Statistics for Realities regarding the implementation of the Lesotho education sector HIV and AIDS policy (2012) in primary schools