Statistics for Extending coverage to informal sector populations in Kenya: design preferences and implications for financing policy