Cost-effectiveness of different strategies to monitor adults on antiretroviral treatment: a combined analysis of three mathematical models