Cost-effectiveness of emergency department opt-out testing for HIV in England: a modelling study | ReachRx