Text this: Evaluating the impact of the HIV pandemic on measles control and elimination