The IIASA Health Care Resource Allocation Sub-Model: Mark 1