Epidemiological Models for HIV/AIDS and Known Coinfections