Koopman-based surrogate models for multi-objective optimization of agent-based systems