Kenya's Ksh 4.23 trillion 2025