A quantitative assessment of the consistency of projections from five mathematical models of the HIV epidemic in South Africa: a model comparison study