Conceptualization of Vehicle-to-Grid Contract Types and Their Formalization in Agent-Based Models