Text this: Operational performance of a congested corridor with lanes dedicated to autonomous vehicle traffic