Gender and economic growth in Kenya (World Bank, 2007)