Level and determinants of county health system technical efficiency in Kenya: two stage data envelopment analysis.