Using agent-based models to generate transformation knowledge for the German energiewende-potentials and challenges derived from four case studies