Describir: AgriTech4Kenya innovation challenge 2024: Consultation workshop report