Text this: Cost-effectiveness of emergency department opt-out testing for HIV in England