How Should HIV Programmes Monitor Adults on ART? A Combined Analysis of Three Mathematical Models