U$4.5 million funding for Kenyan travel tech startups