High-Resolution Traffic Sensing with Autonomous Vehicles