Antiretroviral drug expenditure, pricing and judicial demand: an analysis of federal procurement data in Brazil from 2004–2011