Text this: Assessing frontline HIV service provider efficiency using data envelopment analysis: a case study of Philippine social hygiene clinics (SHCs)