kenya population 2016