A Gamified Kenyan K-12 Learning System. int. jour. eng. com. sci 2016, 5 (12).