Activity-Based Travel Demand Modeling for Metropolitan Areas in Texas: Model Components and Mathematical Formulations