Participatory design of digital innovation in agricultural research-for-development: insights from practice