Personalized real-time traffic information provision: Agent-based optimization model and solution framework · Study