Text this: Optimal control of day-to-day traffic dynamics under user learning with dynamic congestion pricing.