Gravar-mail: Population-based estimates of engagement in HIV care and mortality using double-sampling methods following home-based counseling and testing in western Kenya