Text this: HIV prevalence among persons deprived of liberty in Brazil, 2017-2023: a time series analysis