Equity and efficiency in HIV‐treatment in South Africa: the contribution of mathematical programming to priority setting | Synapse