Time-dependent asymmetric traveling salesman problem with time windows: Properties and an exact algorithm