The Texas I-35 EVENT highway