Model-based event-triggered control for freeway traffic systems