A statistical overview of HIV in Texas