Text this: Trends and characteristics of AIDS mortality in the Rio de Janeiro city after the introduction of highly active antiretroviral therapy