Traffic management and networking for autonomous vehicular highway systems