HIV/AIDS prevention programs: methodologies and insights from the dynamic modeling literature.