Evaluating the impacts of farmers' behaviors on a hypothetical agricultural water market based on double auction | Synapse