A hybrid optimization-agent-based model of REDD+ payments to households on an old deforestation frontier in the Brazilian Amazon. (February 2018)