Social Resource Allocation in a Mobility System with Connected and Automated Vehicles: A Mechanism Design Problem | IEEE Conference Publication | IEEE Xplore