Using Stan in an agent-based model: Simulation suggests that a market could be useful for building public consensus on climate change