A learning-based MPC framework for gridlock-aware over-saturated network traffic control