Statistics for A model of HIV/AIDS population dynamics including ARV treatment and pre-exposure prophylaxis