Departure time choice and bottleneck congestion with automated vehicles