Text this: Equity–efficiency optimizing resource allocation: The role of time preferences in a repeated irrigation game