The role of agricultural biodiversity, dietary diversity, and household food security in households with and without children with stunted growth in rural Kenya