Using mathematical models to understand the AIDS epidemic