Modeling Socio-technical Systems with AgentSpring