Health impact, budget impact, and price threshold for cost-effectiveness of lenacapavir for HIV pre-exposure prophylaxis in eastern and southern Africa: a modelling analysis | Synapse