Assessing efficiency and costs of scaling up HIV treatment