Mathematical modelling of the impact of testing, treatment and control of HIV transmission in Kenya