Simulation models for the control of the dynamics of HIV infection through vaccination