Markov Chain Aggregation for Agent-Based Models