Text this: Gender and economic growth in Kenya