Methodologies for Modeling the Impact of a Preventive AIDS Vaccine in Developing Countries: Recent Studies