Text this: HIV pre-exposure prophylaxis and incidence of sexually transmitted infections in Brazil, 2018 to 2022