Mathematical modelling of the impact of testing, treatment and control of HIV transmission in Kenya. Issue 1 (1st January 2018)