Epidemiological profile of individuals diagnosed with HIV: results from the preliminary phase of case-based surveillance in Kenya. Issue 1 (2nd January 2020)