An efficient model-based method for coordinated control of urban traffic networks.