Modeling Deforestation And Examining Trade-Offs Among Carbon Stocks And Benefits To Livelihoods And Biodiversity For Redd+ Planning In Kenya