An overview of AIDS modeling