Statistics for Lay health workers and HIV programmes: Implications for health systems