Formalising theories of human decision-making for agent-based modelling of social-ecological systems: practical lessons learned and ways forward