Modelling farmer decision-making to anticipate tradeoffs between provisioning ecosystem services and biodiversity